Kurt Gödel (1906-1978) ha sido el más grande lógico del siglo XX y uno de los mayores pensadores de todos los tiempos.